Nuprl Definition : singleton
2,24
postcript
pdf
{
a
:
T
} == {
x
:
T
|
x
=
a
}
latex
clarification:
{
a
:
T
} == {
x
:
T
|
x
=
a
T
}
latex
FDL editor aliases
singleton
origin
T } T }